Linear Hybrid Automaton Generation Using Mapping Algorithm for Hybrid Dynamic Systems
نویسنده
چکیده
Hybrid dynamic systems are analyzed through linear hybrid automaton. In this paper, we propose a mapping algorithm to deal with a new Continuous elementary HPN. The method shown enables us to analyze some system properties using a linear hybrid automaton generated by a mapping process. The application involves a water system of three tanks, which is analyzed by a PHAVer (Polyhedral Hybrid Automaton Verifier) software tool. Its effectiveness is illustrated by numerical simulation results.
منابع مشابه
Generating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کاملOptimization of grid independent diesel-based hybrid system for power generation using improved particle swarm optimization algorithm
The power supply of remote sites and applications at minimal cost and with low emissions is an important issue when discussing future energy concepts. This paper presents modeling and optimization of a photovoltaic (PV)/wind/diesel system with batteries storage for electrification to an off-grid remote area located in Rafsanjan, Iran. For this location, different hybrid systems are studied and ...
متن کاملHarmonics Estimation in Power Systems using a Fast Hybrid Algorithm
In this paper a novel hybrid algorithm for harmonics estimation in power systems is proposed. The estimation of the harmonic components is a nonlinear problem due to the nonlinearity of phase of sinusoids in distorted waveforms. Most researchers implemented nonlinear methods to extract the harmonic parameters. However, nonlinear methods for amplitude estimation increase time of convergence. Hen...
متن کاملLinear Phase-Portrait Approximations for Nonlinear Hybrid Systems
We use linear hybrid automata to deene linear approximations of the phase portraits of nonlinear hybrid systems. The approximating automata can be analyzed automatically using the symbolic model checker HyTech. We demonstrate the technique through the study of predator-prey systems, where we compute population bounds for both species. We also identify a class of nonlinear hybrid automata for wh...
متن کاملOptimizing Design of Stand-alone Hybrid Solar Micro-CHP Systems Using LUS Based Particle Swarm Optimization Algorithm
Utilizing the combined cooling, heating and power generation (CHP) systems to produce cooling, heat and electricity is growing rapidly due to their high efficiency and low emissions in commercial and industrial applications. In conventional CHP systems the deficit of the system power can be purchased from the grid. However, this system cannot be used as the standalone application. The hybrid so...
متن کامل